predicates and quantifiers in discrete mathematics